Abstract model theory

Results: 937



#Item
291Currency / Macroeconomics / Commodity money / Metallism / Simple living / Commodity / Market / Monetary policy / Value-form / Marxist theory / Economics / Money

Beyond Search: Fiat Money in Organized Exchange* Peter Howitt1 Brown University Abstract: A model of fiat money is constructed in which spatial separation and the logistics of communication are made explicit as in search

Add to Reading List

Source URL: www.econ.brown.edu

Language: English - Date: 2004-12-29 14:47:35
292Semantics / Quantification / Grammar / Ontology / Polarity item / Proposition / Model theory / Determiner / Quantity / Logic / Linguistics / Science

What’s in a quantifier? Rick Nouwen Utrechts Instituut voor Lingu¨ıstiek OTS Abstract In this article, I discuss several inquiries into the meaning of expressions of quantity. It is to some extent received wisdom tha

Add to Reading List

Source URL: ricknouwen.org

Language: English - Date: 2012-02-06 05:10:47
293Abstract interpretation / Galois connection / Order theory / Model theory / Galois theory / Structure / Abstract algebra / Mathematics / Algebra

Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2014-11-04 14:23:47
294Model theory / Modal logic / Non-classical logic / Kripke semantics / Entailment / Structure / Epistemic modal logic / Linear temporal logic / Μ operator / Logic / Mathematical logic / Philosophical logic

Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2015-03-16 08:58:37
295Estimation theory / Actuarial science / Categorical data / Logistic regression / Linear regression / Generalized linear model / Least squares / Multinomial logit / Maximum likelihood / Statistics / Regression analysis / Econometrics

Maximum Likelihood Estimation of Logistic Regression Models: Theory and Implementation Scott A. Czepiel∗ Abstract This article presents an overview of the logistic regression model

Add to Reading List

Source URL: chem-eng.utoronto.ca

Language: English - Date: 2011-04-18 19:06:11
296Mathematics / Data modeling / SQL / Relational algebra / Extension / Tree decomposition / Finitary relation / Relation / Table / Graph theory / Data management / Relational model

Data Structure Fusion Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv Stanford University, AT&T Labs Research, MIT, Tel Aviv University Abstract. We consider the problem of specifying data stru

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2010-09-10 20:45:48
297Mathematical structures / Algebraic structures / Model theory / Denotational semantics / Structure / Sheaf / ALGOL 68 / Universal algebra / Vienna Development Method / Mathematics / Abstract algebra / Algebra

Acta Informatica 21, Springer-Verlag 1984 A Set-Theoretic Semantics for Clear D.T. Sannella Department of Computer Science,University of Edinburgh. James Clerk Maxwell Building,

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2008-08-20 12:26:38
298Science / Economics / Mathematics / Game theory / Decision theory / Nash equilibrium

Sampling Equilibrium, with an Application to Strategic Voting Martin J. Osborne1 and Ariel Rubinstein2 February 17, 2003 Abstract We suggest an equilibrium concept for a strategic model with a large number of players in

Add to Reading List

Source URL: www.economics.utoronto.ca

Language: English - Date: 2003-04-21 16:30:42
299Robot control / Estimation theory / Signal processing / Linear filters / Filter theory / Kalman filter / Particle filter / Filter / Smoothing / Electronic engineering / Control theory / Statistics

Semester Project: Improve Prediction Model of Trading Agent. Contents Abstract .............................................................................................................................................

Add to Reading List

Source URL: lia.epfl.ch

Language: English - Date: 2012-03-06 09:52:00
300Proof theory

Tax Financed Government Health Expenditure and Growth with Capital Deepening Externality∗ By Kei Hosoya† Abstract This paper develops a two-sector endogenous growth model with health

Add to Reading List

Source URL: cis.ier.hit-u.ac.jp

Language: English - Date: 2014-07-01 09:03:51
    UPDATE